منابع مشابه
On the Logic and Computation of Partial Equilibrium Models
The nonmonotonic formalism of partial equilibrium logic (PEL) was introduced and studied in [1,2] and proposed as a logical foundation for the partial stable and well-founded semantics of logic programs. Here we study further logical properties of PEL and some techniques to compute partial equilibrium models.
متن کاملAnalysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic
In [4] a nonmonotonic formalism called partial equilibrium logic (PEL) was proposed as a logical foundation for the well-founded semantics (WFS) of logic programs. PEL consists in de ning a class of minimal models, called partial equilibrium (p-equilibrium), inside a non-classical logic called HT 2. In [4] it was shown that, on normal logic programs, p-equilibrium models coincide with Przymusin...
متن کاملImplementation in partial equilibrium
Consider a society with a finite number of sectors (social issues or commodities). In a partial equilibrium (PE) mechanism a sector authority (SA) aims to elicit agents’preference rankings for outcomes at hand, presuming separability of preferences, while such presumption is false in general and such isolated rankings might be artifacts. Therefore, its participants are required to behave as if ...
متن کاملTemporal Equilibrium Logic
This talk introduces the Temporal Equilibrium Logic, a combination of standard Linear Temporal Logic with a formalism called Equilibrium Logic, used to to characterise logic programming under the answer set semantics. The talk will explain the basic syntax and semantics together with some elementary properties and recent results. Some motivating examples will show the potential utility of nonmo...
متن کاملContingency-Based Equilibrium Logic
We investigate an alternative language for equilibrium logic that is based on the concept of positive and negative contingency. Beyond these two concepts our language has the modal operators of necessity and impossibility and the Boolean operators of conjunction and disjunction. Neither negation nor implication are available. Our language is just as expressive as the standard language of equili...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Mathematics and Artificial Intelligence
سال: 2007
ISSN: 1012-2443,1573-7470
DOI: 10.1007/s10472-007-9075-0